
extern void exit();
